Fuzzy logics with truth hedges revisited
نویسندگان
چکیده
In this paper we build upon previous works of Hájek and Vychodil on the axiomatization of truthstressing and depressing hedges as expansions of BL logic by new unary connectives. They show that their logics are chain-complete, but standard completeness is only proved for the expansions over Gödel logic. We propose weaker axiomatizations that have as main advantages the preservation of standard completeness properties of the original logic and the fact that any subdiagonal (resp. superdiagonal) non-decreasing function on [0, 1] preserving 0 and 1 is a sound interpretation of the truth stresser (resp. depresser) connectives.
منابع مشابه
Linguistic Logics with Hedges
Human knowledge is commonly expressed linguistically, i.e., truth of vague sentences is given in linguistic terms, and many hedges are often used simultaneously to state different levels of emphasis. In this paper, we propose an axiomatization of mathematical fuzzy logic with many hedges where each hedge does not have any dual one. Then, we present linguistic logics built based on the proposed ...
متن کاملA logical approach to fuzzy truth hedges
The starting point of this paper are the works of Hájek and Vychodil on the axiomatization of truth-stressing and depressing hedges as expansions of Hájek's BL logic by new unary connectives. They showed that their logics are chain-complete, but standard completeness was only proved for the expansions over Gödel logic. We propose weaker axiomatizations over an arbitrary core fuzzy logic which h...
متن کاملA logical approach to fuzzy truth hedges
The starting point of this paper are the works of Hájek and Vychodil on the axiomatization of truthstressing and -depressing hedges as expansions of Hájek’s BL logic by new unary connectives. They showed that their logics are chain-complete, but standard completeness was only proved for the expansions over Gödel logic. We propose weaker axiomatizations over an arbitrary core fuzzy logic which h...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کامل